VMX domain should call domain_crash_synchronous instead of domain_crash.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 10 Dec 2005 23:17:11 +0000 (00:17 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 10 Dec 2005 23:17:11 +0000 (00:17 +0100)
commit3668504a37652dd6e8fc1d2159365385e2896c3c
tree4eb1ecf0885ad9250528262a40745b1b124955eb
parente53027149fdc9d82eb1860a46960658bc7027f0f
VMX domain should call domain_crash_synchronous instead of domain_crash.
Since domain_crash will return at last, and I watched system crash after
its return.

Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/shadow_public.c
xen/arch/x86/vmx.c
xen/arch/x86/vmx_vmcs.c